body{background-color: white; color: black; font-family: sans-serif; font-size: normal;}
p{margin: 0 0 1ex 0;}

/*h1.header{margin:0;}*/

pre{font-weight: bold; background-color: #EEEEEE; border: 1px dashed black; padding: 1ex;}
code{font-weight: bold;}
.iface{font-weight: bold;}
ul.contL{padding: 0; margin-left: 18px; list-style-position: outside;}
ul.contL2{padding: 0; margin-left: 18px; list-style-position: outside;}

/*table#menu{font-size: smaller;}
img#top_left{margin-right: 8px; margin-bottom: 8px;}
img#top_right{margin-left: 8px; margin-bottom: 8px;}
td#l_main_col{border-right: solid 1px; padding: 5px;}
td#r_main_col{border-left: solid 1px; padding: 5px;}
td#c_main_col{padding: 15px;}
p#main_part{color: white; background-color: black;}
p#hist_date{font-weight: bold; font-size: smaller;}
p#hist_text{font-weight: normal; font-size: smaller;}
*/